pairwise($x$,$y$.$P$($x$;$y$); $L$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$i$:int\_seg(0; $\parallel$$L$$\parallel$), $j$:int\_seg(0; $i$). $P$($L$[$j$];$L$[$i$])